Ghelli, Giorgio: шукати на сайті Z-Library

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Рік:

2002

Мова:

english

Файл:

PDF, 245 KB

english, 2002

Parametric schema inference for massive JSON datasets

Журнал:

The VLDB Journal

Рік:

2019

Мова:

english

Файл:

PDF, 924 KB

english, 2019

Fibonacci: A programming language for object databases

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Журнал:

The VLDB Journal

Рік:

1995

Мова:

english

Файл:

PDF, 2.17 MB

english, 1995

Almost-linear inclusion for XML regular expression types

Colazzo, Dario, Ghelli, Giorgio, Pardini, Luca, Sartiani, Carlo

Журнал:

ACM Transactions on Database Systems

Рік:

2013

Мова:

english

Файл:

PDF, 1.84 MB

english, 2013

A typed text retrieval query language for XML documents

Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli

Журнал:

Journal of the American Society for Information Science and Technology

Рік:

2002

Мова:

english

Файл:

PDF, 224 KB

english, 2002

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || A Model Theory for Generic Schema Management

Рік:

2002

Мова:

english

Файл:

PDF, 228 KB

english, 2002

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || TAX: A Tree Algebra for XML

Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Рік:

2002

Мова:

english

Файл:

PDF, 216 KB

english, 2002

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation

Журнал:

ACM Transactions on Database Systems

Рік:

2017

Мова:

english

Файл:

PDF, 2.00 MB

english, 2017

[ACM Press the 2019 International Conference - Amsterdam, Netherlands (2019.06.30-2019.07.05)] Proceedings of the 2019 International Conference on Management of Data - SIGMOD '19 - Schemas and Types for JSON Data

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Рік:

2019

Мова:

english

Файл:

PDF, 828 KB

english, 2019

ChemInform Abstract: 6-Thienyl and 6-Phenylimidazo[2,1-b]thiazoles as Inhibitors of Mitochondrial NADH Dehydrogenase

Aldo Andreani, Mirella Rambaldi, Alberto Leoni, Rita Morigi, Alessandra Locatelli, Gianluca Giorgi, Giorgio Lenaz, Anna Ghelli, Mauro Degli Esposti

Журнал:

ChemInform

Рік:

2000

Файл:

PDF, 29 KB

2000

Efficient inclusion for a class of XML types with interleaving and counting

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Журнал:

Information Systems

Рік:

2009

Мова:

english

Файл:

PDF, 1.33 MB

english, 2009

Bounded existentials and minimal typing

Giorgio Ghelli, Benjamin Pierce

Журнал:

Theoretical Computer Science

Рік:

1998

Мова:

english

Файл:

PDF, 1.28 MB

english, 1998

Secrecy and Group Creation

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2001

Файл:

PDF, 28 KB

2001

Divergence of F⩽ type checking

Giorgio Ghelli

Журнал:

Theoretical Computer Science

Рік:

1995

Мова:

english

Файл:

PDF, 1.57 MB

english, 1995

Manipulating Trees with Hidden Labels

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 357 KB

english, 2007

6-Thienyl and 6-phenylimidazo[2,1-b]thiazoles as inhibitors of mitochondrial NADH dehydrogenase

Aldo Andreani, Mirella Rambaldi, Alberto Leoni, Rita Morigi, Alessandra Locatelli, Gianluca Giorgi, Giorgio Lenaz, Anna Ghelli, Mauro Degli Esposti

Журнал:

European Journal of Medicinal Chemistry

Рік:

1999

Мова:

english

Файл:

PDF, 85 KB

english, 1999

Termination of SystemF-bounded: A Complete Proof

Giorgio Ghelli

Журнал:

Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà

Рік:

1997

Мова:

english

Файл:

PDF, 300 KB

english, 1997

Basic Theory of F-Bounded Quantification

Журнал:

Рік:

1999

Мова:

english

Файл:

PDF, 404 KB

english, 1999

Foundations for Extensible Objects with Roles

Giorgio Ghelli

Журнал:

Comparative Biochemistry and Physiology Part B: Comparative Biochemistry

Рік:

2002

Мова:

english

Файл:

PDF, 224 KB

english, 2002

Cytochrome b of protozoan mitochondria: Relationships between function and structure

Anna Ghelli, Massimo Crimi, Stefania Orsini, Luigi Gradoni, Maria Zannotti, Giorgio Lenaz, Mauro Degli Esposti

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 1.03 MB

english, 1992

The effects of idebenone on mitochondrial bioenergetics

Valentina Giorgio, Valeria Petronilli, Anna Ghelli, Valerio Carelli, Michela Rugolo, Giorgio Lenaz, Paolo Bernardi

Журнал:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Рік:

2012

Мова:

english

Файл:

PDF, 634 KB

english, 2012

Secrecy and group creation

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Журнал:

Dario Colazzo, Giorgio Ghelli

Рік:

2005

Мова:

english

Файл:

PDF, 307 KB

english, 2005

Subtyping recursion and parametric polymorphism in kernel fun

Журнал:

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Рік:

2005

Мова:

english

Файл:

PDF, 588 KB

english, 2005

Expressiveness and complexity of graph logic

Журнал:

Alessandra Baracca, Laura Bucchi, Anna Ghelli, Giorgio Lenaz

Рік:

2007

Мова:

english

Файл:

PDF, 580 KB

english, 2007

Protonophoric Activity of NADH Coenzyme Q Reductase and ATP Synthase in Coupled Submitochondrial Particles from Horse Platelets

Журнал:

Biochemical and Biophysical Research Communications

Рік:

1997

Мова:

english

Файл:

PDF, 101 KB

english, 1997

Functional alterations of the mitochondrially encoded ND4 subunit associated with Leber's hereditary optic neuropathy

Mauro Degli Esposti, Valerio Carelli, Anna Ghelli, Marina Ratta, Massimo Crimi, Simonetta Sangiorgi, Pasquale Montagna, Giorgio Lenaz, Elio Lugaresi, Pietro Cortelli

Журнал:

FEBS Letters

Рік:

1994

Мова:

english

Файл:

PDF, 406 KB

english, 1994

Bioenergetics shapes cellular death pathways in Leber's hereditary optic neuropathy: a model of mitochondrial neurodegeneration

Carelli, Valerio, Rugolo, Michela, Sgarbi, Gianluca, Ghelli, Anna, Zanna, Claudia, Baracca, Alessandra, Lenaz, Giorgio, Napoli, Eleonora, Martinuzzi, Andrea, Solaini, Giancarlo

Журнал:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Рік:

2004

Мова:

english

Файл:

PDF, 311 KB

english, 2004

The Effects of Idebenone on Mitochondrial and Cellular Bioenergetics

Giorgio, Valentina, Petronilli, Valeria, Prato, Maurizio, Ghelli, Anna, Rugolo, Michela, Bernardi, Paolo

Журнал:

Biophysical Journal

Рік:

2011

Мова:

english

Файл:

PDF, 37 KB

english, 2011

Coherence of subsumption, minimum typing and type-checking in F ≤

Curien, Pierre-Louis, Ghelli, Giorgio

Журнал:

Mathematical Structures in Computer Science

Рік:

1992

Мова:

english

Файл:

PDF, 2.54 MB

english, 1992

A calculus for overloaded functions with subtyping

Castagna, Giuseppe, Ghelli, Giorgio, Longo, Giuseppe

Журнал:

ACM SIGPLAN Lisp Pointers

Рік:

1992

Мова:

english

Файл:

PDF, 1.03 MB

english, 1992

Is Every Kind of Play Suitable for the Child?

Ghelli, Giorgio Bartolucci

Журнал:

Procedia - Social and Behavioral Sciences

Рік:

2013

Мова:

english

Файл:

PDF, 97 KB

english, 2013

[IEEE 11th International Database Engineering and Applications Symposium (IDEAS 2007) - Banff, AB, Canada (2007.09.6-2007.09.8)] 11th International Database Engineering and Applications Symposium (IDEAS 2007) - Scalable Query Dissemination in XPeer

Conforti, Giovanni, Ghelli, Giorgio, Manghi, Paolo, Sartiani, Carlo

Рік:

2007

Мова:

english

Файл:

PDF, 315 KB

english, 2007

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || A Temporal Query Language for OLAP: Implementation and a Case Study

Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Рік:

2002

Мова:

english

Файл:

PDF, 242 KB

english, 2002

[IEEE 2011 IEEE International Conference on Data Engineering (ICDE 2011) - Hannover, Germany (2011.04.11-2011.04.16)] 2011 IEEE 27th International Conference on Data Engineering - Schemas for safe and efficient XML processing

Рік:

2011

Мова:

english

Файл:

PDF, 115 KB

english, 2011

Different mtDNA mutations modify tumor progression in dependence of the degree of respiratory complex I impairment

Iommarini, L., Kurelac, I., Capristo, M., Calvaruso, M. A., Giorgio, V., Bergamini, C., Ghelli, A., Nanni, P., De Giovanni, C., Carelli, V., Fato, R., Lollini, P. L., Rugolo, M., Gasparre, G., Porcell

Журнал:

Human Molecular Genetics

Рік:

2014

Мова:

english

Файл:

PDF, 864 KB

english, 2014

TQL: a query language for semistructured data based on the ambient logic

CARDELLI, LUCA, GHELLI, GIORGIO

Журнал:

Mathematical Structures in Computer Science

Рік:

2004

Мова:

english

Файл:

PDF, 496 KB

english, 2004

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || Optimization Properties for Classes of Conjunctive Regular Path Queries

Castagna, Giuseppe, Ghelli, Giorgio, Longo, Giuseppe

Рік:

2002

Мова:

english

Файл:

PDF, 307 KB

english, 2002

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - A calculus for overloaded functions with subtyping

Рік:

1992

Мова:

english

Файл:

PDF, 1.03 MB

english, 1992

[ACM Press the 2008 ACM SIGMOD international conference - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08 - XML query optimization in the presence of side effects

Ghelli, Giorgio, Onose, Nicola, Rose, Kristoffer, Simeon, Jerome

Рік:

2008

Мова:

english

Файл:

PDF, 507 KB

english, 2008

Complexity of kernel Fun subtype checking

Ghelli, Giorgio, Rose, Kristoffer, Siméon, Jérôme

Журнал:

ACM SIGPLAN Notices

Рік:

1996

Мова:

english

Файл:

PDF, 1.06 MB

english, 1996

Commutativity analysis for XML updates

Журнал:

ACM Transactions on Database Systems

Рік:

2008

Мова:

english

Файл:

PDF, 649 KB

english, 2008

[ACM Press Proceeding of the 17th ACM conference - Napa Valley, California, USA (2008.10.26-2008.10.30)] Proceeding of the 17th ACM conference on Information and knowledge mining - CIKM '08 - Linear time membership in a class of regular expressions with interleaving and counting

Ghelli, Giorgio, Colazzo, Dario, Sartiani, Carlo

Рік:

2008

Мова:

english

Файл:

PDF, 306 KB

english, 2008

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Complexity of kernel Fun subtype checking

Colazzo, Dario, Ghelli, Giorgio, Pardini, Luca, Sartiani, Carlo

Рік:

1996

Мова:

english

Файл:

PDF, 1.06 MB

english, 1996

[ACM Press Proceeding of the 18th ACM conference - Hong Kong, China (2009.11.02-2009.11.06)] Proceeding of the 18th ACM conference on Information and knowledge management - CIKM '09 - Linear inclusion for XML regular expression types

Рік:

2009

Мова:

english

Файл:

PDF, 621 KB

english, 2009

[ACM Press Conference proceedings - Phoenix, Arizona, United States (1991.10.06-1991.10.11)] Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91 - A static type system for message passing

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Рік:

1991

Мова:

english

Файл:

PDF, 1.80 MB

english, 1991

[ACM Press The 16th International Symposium - Munich, Germany (2017.09.01-2017.09.01)] Proceedings of The 16th International Symposium on Database Programming Languages - DBPL '17 - Counting types for massive JSON datasets

Рік:

2017

Мова:

english

Файл:

PDF, 773 KB

english, 2017

A static type system for message passing